Methodological basis of distributed automated safety management system
نویسندگان
چکیده
منابع مشابه
A Distributed Intelligent Automated Demand Response Building Management System 1
2.4 Principal Investigators: Professor David Auslander, Department of Mechanical Engineering, U.C. Berkeley (UCB) Professor David Culler, Department of Electrical Engineering, U.C. Berkeley (UCB) Professor Paul K. Wright, Director, Center for Information Technology Research in the Interest of Society (CITRIS) and the Department of Mechanical Engineering, U.C. Berkeley (UCB) Dr. Yan Lu, Siemens ...
متن کاملMethodological basis of forecasting of sustainable development of economic system
Since the adoption of the Rio-Declaration in 1992 the concept of sustainable development is raising more and more awareness in public perception. The concept requires the integration of economic, environment and social considerations into all decision-making, fostering intra-generational equity through the alleviation of poverty by concentrating the benefits of development in lesser developed a...
متن کاملSecurity for Automated, Distributed Configuration Management
Installation, configuration, and administration of desktop software is a non-trivial process. Even a simple application can have numerous dependencies on hardware, device drivers, operating system versions, dynamically linked libraries, and even on other applications. These dependencies can cause surprising failures during the normal process of installations, updates and re-configurations. Diag...
متن کاملAutomated Machine-Checked Hybrid System Safety Proofs
We have developed a hybrid system safety prover, implemented in Coq using the abstraction method introduced by [2]. The development includes: a formalisation of the structure of hybrid systems; a framework for the construction of an abstract system (consisting of decidable “over-estimators” of abstract transitions and initiality) faithfully representing a concrete hybrid system; a translation o...
متن کاملOn distributed system management
Device failures, performance ineeciencies, improper allocation of resources, security compromises , and accounting are some of the problems associated with the operations of distributed systems. EEective management requires monitoring , interpreting and controlling the behavior of the distributed system resources, both hardware and software. Current management systems pursue a platform-centered...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Operation of Maritime Transport
سال: 2020
ISSN: 1992-8181
DOI: 10.34046/aumsuomt96/8